Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
31	Synthese DOIs11229The man without properties Boris Hennig1 Add to Reading List Source URL: www.borishennig.de Language: English - Date: 2016-03-03 23:12:28 Philosophy Semantics Philosophy of language Philosophical logic Meaning Ontology Gottlob Frege Analytic philosophy Predicate Concept Truth Aristotle
32	A separation logic for refining concurrent objects Aaron Turon Mitchell Wand Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-07-15 17:40:28 Logic Mathematical logic Abstraction Model theory Predicate logic Semantics Denotational semantics First-order logic Structure Quantifier Substitution
33	The Semantic Paradoxes and the Paradoxes of Vagueness Hartry Field∗ March 30, 2003 Both in dealing with the semantic paradoxes and in dealing with vagueness and indeterminacy, there is some temptation to weaken classic Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Revision theory Truth Predicate Supervaluationism Model theory Modal logic Kripke semantics Mathematical logic
34	Chapter 11 Revenge, IForms of revenge It is hard enough to find a satisfying response to the paradoxes, but the phenomenon of revenge can make it seem impossible. In the simplest manifestation of revenge - call it Add to Reading List Source URL: www.keith-simmons.com Language: English - Date: 2012-09-23 12:20:06 Philosophy Logic Abstraction Predicate logic Theories of truth Semantics Philosophical logic Model theory Liar paradox Saul Kripke Truth Interpretation
35	Eskolemization in intuitionistic logic Matthias Baaz∗ Inst. for Discr. Math. and Geom. Technical University Vienna Wiedner HauptstrasseVienna, Austria Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2009-04-03 05:11:01 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Philosophical logic Non-classical logic Sequent First-order logic Quantifier Skolem normal form
36	Quantifiers and Negation October 2, Reading Quantifiers Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-12-04 19:21:57 Logic Quantification Mathematical logic Abstraction Semantics Predicate logic Universal quantification Existential quantification Quantifier FO Negation Constructible universe
37	M. Eddon Quantitative Properties Philosophy Compass, forthcoming Abstract: Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematics Mathematical logic Logic Ontology Abstraction Predicate logic Binary relation Mass Quantity Ratio Equality Isomorphism
38	Contents Part One xxv xxvii Conference Committees Add to Reading List Source URL: www.icgip.org Language: English - Date: 2013-04-03 04:36:52 Signal processing Mathematical logic Mereology Ontology Predicate logic Wavelet transform Wavelet Logic Mathematics Abstraction Wayne B. Nottingham Prize Islamic studies by author
39	Introducing as Semantics Syntax Add to Reading List Source URL: www1.icsi.berkeley.edu Language: English - Date: 2007-04-25 02:43:04 Linguistics Logic Grammar Cognitive science Syntax Philosophy of language Semantics Logic in computer science Relativizer Predicate Relative clause Clause
40	Solving the Paradoxes, Escaping Revenge Hartry Field New York University It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Logic Philosophy Abstraction Philosophical logic Non-classical logic Theories of truth Predicate logic Model theory Liar paradox Dialetheism Truth Saul Kripke